Reasoning system - PDFSEARCH.IO - Document Search Engine

Reasoning system
Results: 468

#	Item
181	To Appear in International Journal of Computer Vision 2010: manuscript No. (will be inserted by the editor) Predicate Logic based Image Grammars for Complex Pattern Recognition Vinay Shet† · Maneesh Singh† · Claus Add to Reading List Source URL: lmb.informatik.uni-freiburg.de Language: English - Date: 2012-06-18 23:42:11 Reasoning Model theory Programming paradigms Deduction Non-classical logic Reasoning system First-order logic Inference Interpretation Logic Science Mathematical logic
182	Predicate Logic based Image Grammars for Complex Pattern Recognition Vinay Shet Maneesh Singh Claus Bahlmann Visvanathan Ramesh Siemens Corporate Research, 755 College Rd East, Princeton, NJ {vinay.shet; maneesh.singh; c Add to Reading List Source URL: lmb.informatik.uni-freiburg.de Language: English - Date: 2012-06-18 23:42:12 Reasoning Abstraction Axiology Inference Many-valued logic Cyc First-order logic Reasoning system Activity recognition Logic Science Knowledge
183	Smalltalk • Chess - Man vs. Machine • Buyers Guide[removed]Where Intelligent Technology Meets the Real World www.pcai.com Add to Reading List Source URL: www.pcai.com Language: English - Date: 2011-02-20 20:02:00 Computational neuroscience Cybernetics Decision theory Information systems Neural network Fuzzy logic Expert system Machine learning Knowledge representation and reasoning Artificial intelligence Science Knowledge
184	Microsoft Word - TimeCourse_32KDF.doc Add to Reading List Source URL: www.qrg.northwestern.edu Language: English - Date: 2006-08-29 15:52:34 Memory Semantics Mental processes Analogy Encoding Qualitative Reasoning Group Dedre Gentner Geographic information system Cognitive science Mind Ethology
185	BOOK REVIEW 125 Michael R. Genesereth and Nils J. Nilsson, Logical Foundations of Artificial Intelligence (Morgan Kaufmann, Los Altos, CA, 1987); 406 + xviii pages. Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2014-11-01 17:39:55 Artificial intelligence Philosophical logic Reasoning Logical consequence Prolog Logic programming Expert system Inference Epistemic modal logic Logic Mathematical logic Non-classical logic
186	John F. Sowa Conceptual Graphs for a Data Base Interface Abstract: A data base system that supports natural language queries is not really natural if it requires the user to know how the data are represented. This paper Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2009-09-07 13:43:35 Knowledge representation Line graph Graph Conceptual model Abstraction Diagrammatic reasoning Existential graph Graph theory Diagrams Conceptual graph
187	The School of Informatics and Computing Colloquium Series Ken Forbus Northwestern University Add to Reading List Source URL: www.qrg.northwestern.edu Language: English - Date: 2011-12-01 15:20:36 Ethology Cognitive science Ken Forbus year of birth missing Cognitive architecture Reasoning system Analogy Qualitative reasoning Cognition Science Artificial intelligence Reasoning
188	Proceedings of the 7th IJCAR ATP System Competition (CASC-J7) Geo↵ Sutcli↵e University of Miami, USA Abstract Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2014-11-26 09:16:24 Theoretical computer science CADE ATP System Competition Vampire E theorem prover CASC Automated reasoning Mathematical logic Mathematical proof Theorem Logic Mathematics Automated theorem proving
189	Analyzing the AIR Language: A Semantic Web (Production) Rule Language ? Ankesh Khandelwal1 , Jie Bao1 , Lalana Kagal2 , Ian Jacobi2 , Li Ding1 , and James Hendler1 1 Add to Reading List Source URL: dig.csail.mit.edu Language: English - Date: 2011-02-01 14:38:24 Logic programming Rule Interchange Format Negation Production system First-order logic Reasoning system Artificial intelligence Logic Mathematical logic
190	Tsvetinov, Abercrombie and Do (poster[removed]Individual versus group reasoning: A comparison study using a keypad support system Add to Reading List Source URL: eprints.qut.edu.au Language: English - Date: 2010-06-09 08:29:34 Knowledge Community organizing Corporatism Groupthink Organizational behavior Decision making Multiple choice Copyright Test Group processes Science Education

UPDATE